David Davis

Results: 380



#Item
121Hardware verification languages / Assertion / Debugging / Logic in computer science / Tesla Roadster / Clang / Rust / C / E / Software engineering / Computing / Computer programming

TESLA: Temporally Enhanced System Logic Assertions Jonathan Anderson Robert N. M. Watson David Chisnall Khilan Gudka Ilias Marinos Brooks Davis

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-04-15 11:46:35
122Edward Bond / Dr. No / James Bond films / British films / Film

Edward Bond and the Dramatic Child Ed. David Davis Published: Trentham Books Chapter 5: THE SHEET OF GLASS

Add to Reading List

Source URL: www.johndoona.com

Language: English - Date: 2012-09-27 19:11:14
123Brittingham Prize in Poetry / Olena Kalytiak Davis / Angela Sorby / Bird Skin Coat / Brittingham / Patricia Dobler / Judith Vollmer / University of Wisconsin Press / David Kirby / American literature / Guggenheim Fellows / Literature

  Browse Our Books Journals How to Order

Add to Reading List

Source URL: uwpress.wisc.edu

Language: English - Date: 2015-03-05 14:45:32
124African American music / African-American culture / Chick Corea / Free jazz / Montreux Jazz Festival / David Murray / Jack DeJohnette / Dave Liebman / New Orleans Jazz & Heritage Festival / Jazz / Music / Miles Davis

Issue 303 jazz &blues report

Add to Reading List

Source URL: www.jazz-blues.com

Language: English - Date: 2008-06-20 10:18:38
125Organelles / Protein biosynthesis / Microbiology / Cytoskeleton / Cell / Ubiquitin / FtsZ / Eukaryote / Ribosome / Biology / Proteins / Cell biology

Corrections MEDICAL SCIENCES. For the article ‘‘Inhibitors of soluble epoxide hydrolase attenuate vascular smooth muscle cell proliferation,’’ by Benjamin B. Davis, David A. Thompson, Laura L. Howard, Christophe

Add to Reading List

Source URL: www.pnas.org

Language: English
126Motion / Hominina / Apes / Human evolution / Prehistoric Africa / Bipedalism / Australopithecus afarensis / Knuckle-walking / Australopithecus / Locomotion / Biology / Zoology

Chimpanzee locomotor energetics and the origin of human bipedalism Michael D. Sockol*, David A. Raichlen†, and Herman Pontzer‡§ *Department of Anthropology, University of California, Davis, CA 95616; †Department o

Add to Reading List

Source URL: pages.nycep.org

Language: English - Date: 2012-06-14 12:51:01
127Department of Health and Ageing / Medicine / Health / Health care / Primary care

11 August[removed]Meeting with Victorian Minister Last week, APHA’S CEO, Michael Roff, met with the Victorian Minister for Health, the Hon David Davis MP. Issues discussed included the evaluation and extension of the Vic

Add to Reading List

Source URL: www.apha.org.au

Language: English - Date: 2014-02-24 04:42:55
128American studies / Lecturers / African Americans in the Civil War / Abolitionism / William Lloyd Garrison / David Brion Davis / Slavery in the United States / Origins of the American Civil War / Gilder Lehrman Center for the Study of Slavery /  Resistance /  and Abolition / History of the United States / Slavery / United States

Department of History Rice University - MS 42 P.O. Box 1892 Houston, TXPhone: (

Add to Reading List

Source URL: wcm1.web.rice.edu

Language: English - Date: 2015-04-17 14:30:33
129Computer memory / Virtual memory / Central processing unit / Instruction set architectures / Memory management / Pointer / Memory management unit / MIPS architecture / Memory protection / Computer architecture / Computing / Computer hardware

The CHERI capability model: Revisiting RISC in an age of risk Jonathan Woodruff† Robert N. M. Watson† David Chisnall† Simon W. Moore† Jonathan Anderson† Brooks Davis‡ Ben Laurie§ Peter G. Neumann‡ Robert N

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-04-24 18:23:36
130Computer memory / Virtual memory / Central processing unit / Instruction set architectures / Memory management / Pointer / Memory management unit / MIPS architecture / Memory protection / Computer architecture / Computing / Computer hardware

The CHERI capability model: Revisiting RISC in an age of risk Jonathan Woodruff† Robert N. M. Watson† David Chisnall† Simon W. Moore† Jonathan Anderson† Brooks Davis‡ Ben Laurie§ Peter G. Neumann‡ Robert N

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-04-21 05:53:40
UPDATE